INT_TYPE

open fun INT_TYPE(): TerminalNode